Tooting our horn

on Corey Horn ’ s “ Literacy ’ s Influence on Our Souls

Horn Complements: Towards Horn-to-Horn Belief Revision

Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is concerned with efficiency—of computing inferences, of knowledge acquisition, etc. Horn-to-Horn belief revision could be of interest, in particular, as a component of any efficient system requiring large commonsense know...

Definability of Horn Revision from Horn Contraction

In the AGM framework [Alchourrón and Makinson, 1985], a revision function can be defined directly through constructions like systems of spheres, epistemic entrenchment, etc., or indirectly through a contraction operation via the Levi identity. A recent trend is to construct AGM style contraction and revision functions that operate under Horn logic. A direct construction of Horn revision is give...

Our academy, our mission, our work!

This publication finds me at the half-way point of my tenure as president of the American Academy of Pain Medicine. It is therefore timely to review our academy’s goals and progress, reflecting upon and inspecting our work together as a committed and talented group of management team members and volunteer leaders. To share highlights of the year-to-date, I have created a “virtual interview,” po...

Ocular horn.

The case of a horn-like hyperplasia of the caruncle of the left eye in a 3-month-old child is reported. An atavistic origin of this growth as a vestigial upper incisor is suggested from the anatomical location of the horn.